#!/usr/bin/env bash
set -eu
./bench-boot -t "${1:-1}"
./run -F '/test_all.sh;/poweroff.out' | grep -q lkmc_test_pass
